Oliver Kopp , Niels Lohmann ( Hrsg . )
نویسندگان
چکیده
We outline a fundamental approach to behavioral aspects of services. In the center of this approach, we see behavioral models of services, interactions, and finite representations of sets thereof. Several operations and relations can be defined and their implementation on our representations can be studied. Finally, a number of interesting problems can be traced back to our models and operations. On the boundary of our theory, we place interfaces to other aspects of services.
منابع مشابه
Oliver Kopp , Niels Lohmann ( Eds . ) Services and their Composition 5 th Central European Workshop , ZEUS 2013
We present an extension of our previously introduced technique for unfolding conditional control flow in extended workflow graphs. This technique allows for a more precise process-to-Petri-net-mapping which is crucial for business process verification. Our new technique derives data flow information about the state space of process data by means of predicate clauses using a novel CSSA-Form-base...
متن کاملOliver Kopp , Niels Lohmann ( Eds . ) Services and their Composition 5 th Central European Workshop , ZEUS 2013 Rostock , Germany , 21 – 22 February 2013
We present an extension of our previously introduced technique for unfolding conditional control flow in extended workflow graphs. This technique allows for a more precise process-to-Petri-net-mapping which is crucial for business process verification. Our new technique derives data flow information about the state space of process data by means of predicate clauses using a novel CSSA-Form-base...
متن کاملTools 4 BPEL 4 Chor
Oryx: Modeling Service Choreographies. Oryx is a graphical editing framework written in JavaScript developed at the Hassso-Plattner-Institute. A BPMN editor and a BPMN to BPEL4Chor transformation has been developed so that a BPEL4Chor choreography can be modeled using configured BPMN [2]. That enables business users to graphically model choreographies without the need of writing XML code themse...
متن کاملServices and Their Composition Steering Committee Local Organizers, Program Committee Co-chairs Program Committee a Framework for Interactive Exception Management of Long-term a Domain-specific Modeling Tool to Model Management Plans for Compilation of Bpmn-based Integration Flows
Enterprise Application Integration plays an integral role for the communication between applications not only in service-oriented architectures. However, their modeling and configuration remain underrepresented. In previous work, the integration control and data flow syntax and semantics have been expressed in the Business Process Model and Notation (BPMN) as a semantic model for message-based ...
متن کاملAnalyzing BPEL4Chor: Verification and Participant Synthesis
Choreographies offer means to capture global interactions between business processes of different partners. BPEL4Chor has been introduced to describe these interactions using BPEL. Currently, there are no formal methods available to verify BPEL4Chor choreographies. In this paper, we present how BPEL4Chor choreographies can be verified using Petri nets. A case study undermines that our verificat...
متن کامل